run: main.cpp testmain.h front_end/util/config.h front_end/util/cmdline.h \
 front_end/util/ieee_float.h front_end/util/mp_arith.h \
 front_end/big-int/bigint.hh front_end/util/expr.h front_end/util/type.h \
 front_end/util/irep.h front_end/util/dstring.h \
 front_end/util/string_container.h front_end/util/hash_cont.h \
 front_end/util/string_hash.h front_end/util/irep_ids.h \
 front_end/util/location.h front_end/util/format_spec.h \
 front_end/util/cmdline.h front_end/util/ui_message.h \
 front_end/util/message.h front_end/util/options.h \
 front_end/goto-programs/goto_functions.h front_end/util/std_types.h \
 front_end/util/type.h front_end/goto-programs/goto_program.h \
 front_end/util/std_code.h front_end/util/expr.h \
 front_end/goto-programs/goto_program_template.h \
 front_end/util/namespace.h front_end/util/context.h \
 front_end/util/hash_cont.h front_end/util/symbol.h \
 front_end/util/string_hash.h front_end/cfa/cfa.h front_end/cfa/typedef.h \
 front_end/util/i2string.h front_end/langapi/language_util.h \
 front_end/goto-programs/goto_functions_template.h \
 front_end/goto-programs/goto_convert_functions.h \
 front_end/goto-programs/goto_functions.h \
 front_end/goto-programs/goto_convert_class.h \
 front_end/util/replace_expr.h front_end/util/guard.h \
 front_end/util/message_stream.h front_end/util/message.h \
 front_end/langapi/language_ui.h front_end/util/parseoptions.h \
 front_end/util/language_file.h front_end/util/language.h \
 front_end/util/namespace.h front_end/langapi/mode.h \
 front_end/ansi-c/ansi_c_language.h front_end/ansi-c/ansi_c_parse_tree.h \
 front_end/ansi-c/ansi_c_declaration.h front_end/cpp/cpp_language.h \
 front_end/cpp/cpp_parse_tree.h front_end/cpp/cpp_item.h \
 front_end/cpp/cpp_declaration.h front_end/cpp/cpp_declarator.h \
 front_end/cpp/cpp_name.h front_end/util/location.h \
 front_end/cpp/cpp_storage_spec.h front_end/cpp/cpp_member_spec.h \
 front_end/cpp/cpp_template_type.h front_end/cpp/cpp_template_parameter.h \
 front_end/cpp/cpp_template_args.h front_end/util/irep.h \
 front_end/cpp/cpp_linkage_spec.h front_end/cpp/cpp_namespace_spec.h \
 front_end/cpp/cpp_using.h front_end/cfa/typedef.h back_end/smt.h \
 back_end/include/yicesl_c.h back_end/typedef.h \
 back_end/werePrincessInterface.h back_end/piped_process.h \
 back_end/PrincessFormulaParser.h back_end/i2string.h back_end/ARF.h \
 back_end/cfa.h back_end/smt.h back_end/werePrincessInterface.h
